EMBEDDING THEOREMS FOR BOOLEAN ALGEBRAS AND CONSISTENCY RESULTS ON ORDINAL DEFINABLE SETS.STEPANEK P; BALCAR B.1977; J. SYMBOL. LOGIC; U.S.A.; DA. 1977; VOL. 42; NO 1; PP. 64-76; BIBL. 14 REF.Article

A REASSESSMENT OF GEORGE BOOLE'S THEORY OF LOGIC.VAN EVRA JW.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 363-377; BIBL. 1 P.Article

AN ADDITIONAL REMARK ON SELF-CONJUGATE FUNCTIONS ON BOOLEAN ALGEBRASSUDKAMP TA.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 4; PP. 637-638; BIBL. 1 REF.Article

A COMPLETE CLASSIFICATION OF THREE-PLACE FUNCTORS IN TWO-VALUED LOGIC.MUZIO JC.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 429-437; BIBL. 6 REF.Article

FUZZY LOGIC AND APPROXIMATE REASONING FOR MIXED INPUT ARGUMENTSBALDWIN JF.1979; INTERNATION. J. MAN-MACH. STUD.; GBR; DA. 1979; VOL. 11; NO 3; PP. 381-396; BIBL. 8 REF.Article

THE BINARY REPRESENTATION OF M-VALUED LOGIC WITH APPLICATIONS TO UNIVERSAL DECISION ELEMENTSLOADER J.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 216-226; BIBL. 5 REF.Article

KOHAERENTE SYSTEME VON BOOLESCHEN ALGEBREN = SYSTEME COHERENT D'ALGEBRES DE BOOLESCHWARTZ D.1979; MATH. NACHR.; DDR; DA. 1979; VOL. 91; PP. 253-262; BIBL. 14 REF.Article

THE ADEQUACY OF MATERIAL DIALOGUE-GAMES.KRABBE ECW.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 3; PP. 321-330; BIBL. 9 REF.Article

A SEMANTICAL ANALYSIS OF THE CALCULI C_N.DA COSTA NCA; ALVES EH.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 4; PP. 621-630; BIBL. 5 REF.Article

NEUE SYMBOLE ZUR DARSTELLUNG LOGISCHER BINAERER ELEMENTE. = LES NOUVEAUX SYMBOLES DES ELEMENTS LOGIQUES BINAIRESTHOMAS J.1976; RADIO FERNSEHEN ELEKTRON.; DTSCH.; DA. 1976; VOL. 25; NO 18; PP. 595-598; BIBL. 6 REF.Article

DECIDABILITY AND BOOLEAN REPRESENTATIONSBURRIS S; MCKENZIE R.1981; MEM. AM. MATH. SOC.; ISSN 0065-9266; USA; DA. 1981; VOL. 32; NO 246; 113 P.; BIBL. 33 REF.Serial Issue

BOOLEAN VALUED MODELS AND GENERALIZED QUANTIFIERSVAANANEN J.1980; ANN. MATH. LOGIC; ISSN 0003-4843; NLD; DA. 1980; VOL. 18; NO 3; PP. 193-225; BIBL. 20 REF.Article

SHEAVES AND BOOLEAN VALUED MODEL THEORYLOULLIS G.1979; J. SYMBOL. LOGIC; USA; DA. 1979; VOL. 44; NO 2; PP. 153-183; BIBL. 16 REF.Article

THE STRUCTURE OF COUNTABLE BOOLEAN ALGEBRAS.KETONEN J.1978; ANN. MATH.; USA; DA. 1978; VOL. 108; NO 1; PP. 41-89; BIBL. 15 REF.Article

FPLA ARBITER CONCEPT ADAPTS TO APPLICATION NEEDSBENTLEY AW.1981; COMPUT. DES.; ISSN 0010-4566; USA; DA. 1981; VOL. 20; NO 6; PP. 149-155; BIBL. 3 REF.Article

PLAN DE TRABAJO: SINTESIS DE CIRCUITOS LOGICOS BINARIOS MODULARES = PLAN DE TRAVAIL: SYNTHESE DE CIRCUITS LOGIQUES BINAIRES MODULAIRESVAQUERO SANCHEZ AR.1978; REV. R. ACAD. CI. EXACT. FIS. NAT. MADRID; ESP; DA. 1978; VOL. 72; NO 4; PP. 625-628; ABS. ENG; BIBL. 18 REF.Article

THE COMPUTATION OF COMPLETE AND REDUCED SETS OF ORTHOGONAL SPECTRAL COEFFICIENTS FOR LOGIC DESIGN AND PATTERN RECOGNITION PURPOSESMUZIO JC; HURST SL.1978; COMPUTERS ELECTR. ENGNG; GBR; DA. 1978; VOL. 5; NO 3; PP. 231-249; BIBL. 24 REF.Article

COMPUTER LOGIC CIRCUITS USING FLUX QUANTUM TRANSMISSION LINESNAKASIMA K; ONODERA Y; OGAWA Y et al.1977; SYST. COMPUTERS CONTROLS; USA; DA. 1977; VOL. 8; NO 2; PP. 35-43; BIBL. 17 REF.Article

THE BINARY LOGIC INCREMENTAL TRANSMISSIONKERR JH; FERGUSON RJ.1983; MECHANISM AND MACHINE THEORY; ISSN 0094-114X; USA; DA. 1983; VOL. 18; NO 5; PP. 357-361; ABS. FRE; BIBL. 4 REF.Article

TREILLIS DISTRIBUTIFS AVEC DES COMPLEMENTS RELATIFSERSHOV YU L.1979; ALGEBRA LOG.; ISSN 0373-9252; SUN; DA. 1979; VOL. 18; NO 6; PP. 680-722; BIBL. 5 REF.Article

ALGORITHME ASYMPTOTIQUEMENT OPTIMAL DE CONSTRUCTION DES TESTS A IMPASSES POUR LES TABLES BINAIRESDYUKOVA EV.1978; PROBL. KIBERN.; SUN; DA. 1978; NO 34; PP. 169-186; BIBL. 3 REF.Article

FUNCTIONAL DEPENDENCIES IN A RELATION DATABASE AND PROPOSITIONAL LOGIC.FAGIN R.1977; I.B.M.J. RES. DEVELOP.; U.S.A.; DA. 1977; VOL. 21; NO 6; PP. 534-544; BIBL. 12 REF.Article

CONVERTISSEUR DE CODE POUR LA TRANSMISSION DE L'INFORMATION PAR DES CANAUX DE TELECOMMUNICATIONMANUKYAN YU S; FILATOV GI.1977; ELEKTROSVJAZ; S.S.S.R.; DA. 1977; NO 6; PP. 62-64; BIBL. 5 REF.Article

DETECTABLE PROPERTIES OF PLANAR FIGURES.FELL H.1976; INFORM. AND CONTROL; U.S.A.; DA. 1976; VOL. 31; NO 2; PP. 107-128; BIBL. 6 REF.Article

ON THE EQUIVALENCE OF BOOLEAN AND WEIGHTED SEARCHING BASED ON THE CONVERTIBILITY OF QUERY FORMSANGIONE PV.1975; J. AMER. SOC. INFORM. SCI.; U.S.A.; DA. 1975; VOL. 26; NO 2; PP. 112-124; BIBL. 1P.1/2Article